<?php

function p($var) {
	echo "<pre>\n";
	var_dump($var);
	echo "</pre>\n";
};
?>